Robert M. Solovay; 1976; "Provability Interpretation of Modal Logic" - Internet Explorer 2.0

Robert M. Solovay; 1976; "Provability Interpretation of Modal Logic"

著者

Robert M. Solovay

モチベーション

証明可能性論理，及びSolovayの算術的完全性定理についてなど?